formal semantic description

[ˈfɔ:məl siˈmæntik disˈkripʃən]
  • 释义

    [计] 形式语义描述;

数据更新时间:2025-11-14 07:21:09
1、
2、

With the advantages of formal semantic definition, visually graphical expression, firm mathematical foundation and description based on state, the Petri net is applied to model and optimize the workflow process more and more.

由于Petri网具有形式化的语义定义、直观的图形表达、严格的数学基础以及基于状态的描述等优点,被越来越广泛应用于工作流过程建模和流程优化。

互联网摘选

3、

Firstly the method of knowledge representation by OWL ontologies is researched, then the formal and semantic description is introduced, and finally knowledge is represented by an instance.

本文在研究OWL本体进行知识表示的机制后,阐述形式化表示及语义说明方法,并结合实例说明知识的表示。

互联网摘选

4、

Some properties of the joint-request are also discussed. Based on the defined action, a teamwork protocol with a formal semantic description is proposed and its application is demonstrated finally.

然后,基于联合请求动作,提出一种主体团队交互协议,并给出了协议的形式化语义,最后讨论了协议的实际应用。

互联网摘选

5、

The primary contents are summarized as follows: An overview of the key functions of the EXPRESS modelling language as well as a formal semantic description of the EXPRESS data model is introduced.

对EXPRESS建模语言的核心功能作了概述,并给出了EXPRESS数据模型的一个形式化语义描述。

互联网摘选

  • 相关词组
  • 今日热词
  • 热门搜索
  • separately[ˈseprətli] adv.分别地,另行;分开,单独;分离地;个别地;
  • smoke-free[sməuk fri:] adj.无烟的,禁止吸烟的(地点);
  • Just so you know[dʒʌst səʊ ju nəʊ] 如你所知;要你知道;你现在知道了;只是要让你知道;要让妳了解
  • could[kəd] aux.能够,打算;用于假设语气的条件句;用于虚拟语气的结论句;modal.可能会,有时会;(用于表示对某人的行为的厌恶)能,可以;(询问是否可做某事)能,可以;(礼貌地请求别人做事以及提供或建议某事物时)能,可以;能,会;(用于建议)可以;好像,仿佛;(强调感觉)真想
  • asdfghjkl 爱上对方过后就哭了。
  • skyline[ˈskaɪlaɪn] n.地平线;(以天空为背景的)轮廓线;架空索;展览会场的顶层;
  • tail[teɪl] n. 尾巴;踪迹;辫子;燕尾服vt. 尾随;装上尾巴
  • HBS abbr.Harvard Business School 哈佛大学商学院;
  • squid[skwɪd] n.乌贼,墨鱼;鱿鱼;
  • chopsticks['tʃɒpstɪks] n.筷子;筷子( chopstick的名词复数 );
  • cheat[tʃiːt] v.作弊;欺骗;感情不忠;n.作弊者;欺骗手段;作弊软件;
  • simplicity[sɪmˈplɪsəti] n.简单,朴素;质朴,天真;卑贱;无知;

纳米英语英语词典(dict.nm3.cn)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈